1. Applied Formal Methods FM-Trends 98

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Formal methods (Computer science) -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها

رده :
E-Book
,

2. Applied formal methods--FM Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Formal methods )Computer science(

رده :
QA
76
.
L28
Vol
.
1641

3. Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols

رده :
QA
76
.
L28
Vol
.
3236

4. Cafe

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Algebraic logic , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local

رده :
E-BOOK

5. Certified Programs and Proofs :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.

رده :
QA76
.
9
.
M35
E358
2012

6. Computer performance engineering :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses

رده :
QA76
.
9
.
E94
E64
2013

7. Computer performance engineering

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Formal methods (Computer science) ; Congresses. ; Stochastic models ; Congresses. ; Computer systems ; Evaluation ; Congresses. ; Leistungsbewertung ; Kongress ; London <2009> ; Leistungsbewertung. ; swd. ;

8. Computer performance engineering

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Formal methods (Computer science), Congresses,Stochastic models, Congresses,Computer systems, Evaluation, Congresses

رده :
QA76
.
9
.
E94E64
2010

9. Computer performance engineering : 14th European Workshop, EPEW 2017 Berlin, Germany, September 7 8, 2017 Proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : Congresses ، Computer systems - Evaluation,Congresses ، Computers - Reliability,Congresses ، Formal methods )Computer science(,Evaluation ، Computer systems,Reliability ، Computers,، Formal methods )Computer science(,، Conference proceedings

رده :
QA
76
.
9
.
E94
E64
2017

10. Correct System Design

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Formal methods (Computer science) -- Congresses.,Logics and Meanings of Programs.,روش‌های صوری (کامپیوتر) -- کنگره ها

رده :
QA
76
.
9
.
F67C6
2015
E-Book
,

11. Descriptional Complexity of Formal Systems

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,زبان‌های صوری -- کنگره ها

رده :
QA
76
.
9
.
D4
2015
E-Book
,

12. Descriptional complexity of formal systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.

رده :
QA76
.
5913
D34
2019

13. Descriptional complexity of formal systems :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Formal methods (Computer science) ; Congresses. ;

14. Descriptional complexity of formal systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal languages -- Congresses.,Formal methods (Computer science) -- Congresses.,Machine theory -- Congresses.

15. Descriptional complexity of formal systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses

رده :
QA267
.
3
.
D34
2011

16. FM 2015

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Formal methods (Computer science) -- Congresses.,Software engineering.,روش‌های صوری (کامپیوتر) -- کنگره ها ,م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار

رده :
QA
76
.
9
.
F57
2015
E-Book
,

17. FM 2012

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses

رده :
QA76
.
76
.
D47
I593
2012eb

18. FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Congresses ، System design

رده :
QA
76
.
L28
Vol
.
3582

19. FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Application software -- Development

رده :
QA
76
.
L28
Vol
.
1708-1709

20. FME 2002 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses

رده :
QA76
.
76
.
D47
I593
2002